Research of a multithreaded non-deterministic system model
نویسندگان
چکیده
منابع مشابه
An Efficient Non-blocking Multithreaded Embedded System
Most embedded systems are designed to perform one or fewer specific functions. It is important that the hardware and the software must closely interact to achieve maximum efficiency in all of these realms and overcome the drawbacks found in each aspect. This research focuses on designing a totally new Instruction Set Architecture (ISA) as well as hardware that can closely tie together with the ...
متن کاملA Relational Model of Non-deterministic Dataflow
We recast dataflow in a modern categorical light using profunctors as a generalisation of relations. The well known causal anomalies associated with relational semantics of indeterminate dataflow are avoided, but still we preserve much of the intuitions of a relational model. The development fits with the view of categories of models for concurrency and the general treatment of bisimulation the...
متن کاملDeterministic Execution for Arbitrary Multithreaded Programs
Deterministic Execution for Arbitrary Multithreaded Programs
متن کاملDeterministic Scheduling for Transactional Multithreaded Replicas
One way to implement a fault-tolerant a service is by replicating it at sites that fail independently. One of the replication techniques is active replication where each request is executed by all the replicas. Thus, the effects of failures can be completely masked resulting in an increase of the service availability. In order to preserve consistency among replicas, replicas must exhibit a dete...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nexo Revista Científica
سال: 2021
ISSN: 1995-9516,1818-6742
DOI: 10.5377/nexo.v34i01.11297